﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace TruthTree2.PC.Resolution
{
    public struct CNFAtom
    {
        public bool Negated;
        public string Atom;

        public override string ToString()
        {
            return (Negated ? "not " : "") + Atom;
        }

        public override int GetHashCode()
        {
            return ToString().GetHashCode();
        }
    }
}
